Canonical bases in o-minimal and related structures
نویسندگان
چکیده
We discuss canonical bases in theories with a rudimentary notion of independence. We characterize when canonical bases exist for an ominimal theory, and we also study germs of definable multi-functions at definable types in the general case.
منابع مشابه
Concerning the frame of minimal prime ideals of pointfree function rings
Let $L$ be a completely regular frame and $mathcal{R}L$ be the ring of continuous real-valued functions on $L$. We study the frame $mathfrak{O}(Min(mathcal{R}L))$ of minimal prime ideals of $mathcal{R}L$ in relation to $beta L$. For $Iinbeta L$, denote by $textit{textbf{O}}^I$ the ideal ${alphainmathcal{R}Lmidcozalphain I}$ of $mathcal{R}L$. We show that sending $I$ to the set of minimal prime ...
متن کاملDetermining the order of minimal realization of descriptor systems without use of the Weierstrass canonical form
A common method to determine the order of minimal realization of a continuous linear time invariant descriptor system is to decompose it into slow and fast subsystems using the Weierstrass canonical form. The Weierstrass decomposition should be avoided because it is generally an ill-conditioned problem that requires many complex calculations especially for high-dimensional systems. The present ...
متن کاملThe multiple facets of the canonical direct unit implicational basis
The notion of dependencies between ”attributes” arises in many areas such as relational databases, data analysis, data-mining, formal concept analysis, knowledge structures . . .. Formalization of dependencies leads to the notion of so-called full implicational systems (or full family of functional dependencies) which is in oneto-one correspondence with the other significant notions of closure ...
متن کاملOn the strong cell decomposition property for weakly o-minimal structures
We consider a class of weakly o-minimal structures admitting an o-minimal style cell decomposition, for which one can construct certain canonical o-minimal extension. The paper contains several fundamental facts concerning the structures in question. Among other things, it is proved that the strong cell decomposition property is preserved under elementary equivalences. We also investigate fiber...
متن کاملStructures of Su-rank Omega with a Dense Independent Subset of Generics
Extending the work done in [5, 9] in the o-minimal and geometric settings, we study expansions of models of a supersimple theory of SU-rank ω with a "dense codense" independent collection H of elements of SU-rank ω, where density of H means it intersects any de nable set of SU-rank omega. We show that under some technical conditions, the class of such structures is rst order. We prove that the ...
متن کامل